Under consideration for publication in Math. Struct. in Comp. Science Relating timed and register automata† D I E G O F I G U E I R A1,2,3‡ , P I O T R H O F M A N3 and S L A W O M I R L A S O T A3 1 2

Source URL: www.mimuw.edu.pl

You are where you eat: Foursquare checkins as indicators of human mobility and behaviour G.B. Colombo, M.J. Chorley, M.J. Williams, S.M. Allen, R.M. Whitaker School of Computer Science & Informatics, Cardiff University {

Source URL: martinjc.com

Grids for Experimental Science: The Virtual Control Room K. Keahey,1,A M. E. Papka,1,B Q. Peng,2,C D. Schissel,2,D G. Abla,2,E, T. Araki,1,3,F, J. Burruss,2,G S. Feibush,4,H P. Lane,1,I S. Klasky, 4,J T. Leggett,1,K D. M

Source URL: toolkit.globus.org

Under consideration for publication in Math. Struct. in Comp. Science Categorical Models for Abadi-Plotkin’s Logic for Parametricity L A R S B I R K E D A L1† and R A S M U S E. M Ø G E L B E R G2 1

Source URL: www.itu.dk

C o n n e c t i n g G re a t M i n d s

Source URL: www.cin.ufpe.br

• Reasoning
• Deductive reasoning
• Programming paradigms
• Artificial intelligence
• Automated theorem proving
• Reasoning system
• Mathematical logic
• Knowledge representation and reasoning
• Computer science
• Logic programming
• Inference
• Natural deduction

Under consideration for publication in Math. Struct. in Comp. Science A Light-Weight Integration of Automated and Interactive Theorem Proving K A R I M K A N S O1† and A N T O N S E T Z E R2‡ {cskarim1 ,A.G.Setzer2

Source URL: www.cs.swan.ac.uk

Earth and Planetary Science Letters–180 Contents lists available at ScienceDirect Earth and Planetary Science Letters j o u r n a l h o m e p a g e : w w w. e l s ev i e r. c o m / l o c a t e / e p s l

Source URL: www.geology.wisc.edu

PHYSICS ILLINOIS NEWS T H E D E PA RT M E N T O F P H Y S I C S AT T H E U N I V E R S I T Y O F I L L I N O I S AT U R B A N A - C H A M PA I G N • 2003 NUMBER 1

Source URL: physics.illinois.edu

• Science
• Academia
• Auburn University Physics Department
• Columbia University Physics Department
• Physics
• Gordon Baym
• Physical Review

PHYSICS ILLINOIS NEWS Mao-Chuang Yeh T H E D E PA RT M E N T O F P H Y S I C S AT T H E U N I V E R S I T Y O F I L L I N O I S AT U R B A N A - C H A M PA I G N • N U M B E R 1 BCS@50

Source URL: physics.illinois.edu

• Superconductivity
• John Robert Schrieffer
• Leon Cooper
• David Pines
• John Bardeen
• BCS theory
• Anthony James Leggett
• Donald Ginsberg
• Outline of physics
• Physics
• Nobel laureates in Physics
• Science

FRAUN H OFER - INSTITUT F Ü R c h e m i s c h e T e c h n o l o g i e ICT 1 1 Exemplary samples of different compounds.

Source URL: www.ict.fraunhofer.de

• Polymer chemistry
• Plastics industry
• Organic polymers
• Organic semiconductors
• Polymer
• Fraunhofer Society
• Poly
• Cross-link
• Extrusion
• Chemistry
• Materials science
• Thermoplastics